-complete Models for System F
نویسندگان
چکیده
We show that the model of system F introduced in 5], and having as polymorphic maps exactly all Scott continuous maps, is-complete. This proves in particular the existence of non trivial-complete models for F: 1 Introduction.
منابع مشابه
A hybrid decision making system using DEA and fuzzy models for supplier selection in the presence of multiple decision makers
متن کامل
Cure Kinetic of Polyurethane/Fluorinated POSS Hybrid
One of the decisive factors in obtaining the desired properties in coatings is their complete curing, which necessitates the study of kinetics of curing. In recent years, many studies have been conducted on the use of polyhedral oligomeric silsesquioxane (POSS) in coatings. Creating functional groups on POSS and using it in formulation can create new or improve the properties of coatings. I...
متن کاملDeveloping Fuzzy Models for Estimating the Quality of VoIP
This paper presents a novel method for modeling the one-way quality prediction of VoIP, non-intrusively. Intrusive measures of voice quality suffer from common deficiency that is the need of reference signal for evaluating the quality of voice. Owing to this lack, a great deal of effort has been recently devoted for modeling voice quality prediction non-intrusively according to quality degradat...
متن کاملFully Complete Models for ML Polymorphic Types
We present an axiomatic characterization of models fully-complete for ML-polymorphic types of system F. This axiomatization is given for hyperdoctrine models, which arise as adjoint models, i.e. co-Kleisli categories of suitable linear categories. Examples of adjoint models can be obtained from categories of Partial Equivalence Relations over Linear Combinatory Algebras. We show that a special ...
متن کاملADAPTIVE NEURO-FUZZY INFERENCE SYSTEM OPTIMIZATION USING PSO FOR PREDICTING SEDIMENT TRANSPORT IN SEWERS
The flow in sewers is a complete three phase flow (air, water and sediment). The mechanism of sediment transport in sewers is very important. In other words, the passing flow must able to wash deposited sediments and the design should be done in an economic and optimized way. In this study, the sediment transport process in sewers is simulated using a hybrid model. In other words, using the Ada...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998